<html>
	<head>
	<link href="../../third-party/google-code-prettify\prettify-CppCoverage.css" type="text/css" rel="stylesheet" />
	<script type="text/javascript" src="../../third-party/google-code-prettify\prettify.js"></script>
	</head>
	<title>
		{{TITLE}}{{TODO}}
	</title>
	<body onload="prettyPrint()">
		<pre class="prettyprint lang-cpp linenums">{{CODE}}</pre>
	</body>
</html>